The absolute order on the hyperoctahedral group

The absolute order on the hyperoctahedral group $B_n$ is investigated. It is proved that the order ideal of this poset generated by the Coxeter elements is homotopy Cohen-Macaulay and the M\"obius number of this ideal is computed. Moreover, it is shown that every closed interval in the absolute order on $B_n$ is shellable and an example of a non-Cohen-Macaulay interval in the absolute order on $D_4$ is given. Finally, the closed intervals in the absolute order on $B_n$ and $D_n$ which are lattices are characterized and some of their important enumerative invariants are computed.Comment: 26 pages, 6 figures. Theorem 1.3 of the previous version of this paper is omitted due to a gap in the proof

Towards m-Cambrian Lattices

For positive integers $m$ and $k$, we introduce a family of lattices $\mathcal{C}_{k}^{(m)}$ associated to the Cambrian lattice $\mathcal{C}_{k}$ of the dihedral group $I_{2}(k)$. We show that $\mathcal{C}_{k}^{(m)}$ satisfies some basic properties of a Fuss-Catalan generalization of $\mathcal{C}_{k}$, namely that $\mathcal{C}_{k}^{(1)}=\mathcal{C}_{k}$ and \bigl\lvert\mathcal{C}_{k}^{(m)}\bigr\rvert=\mbox{Cat}^{(m)}\bigl(I_{2}(k)\bigr). Subsequently, we prove some structural and topological properties of these lattices---namely that they are trim and EL-shellable---which were known for $\mathcal{C}_{k}$ before. Remarkably, our construction coincides in the case $k=3$ with the $m$-Tamari lattice of parameter 3 due to Bergeron and Pr{\'e}ville-Ratelle. Eventually, we investigate this construction in the context of other Coxeter groups, in particular we conjecture that the lattice completion of the analogous construction for the symmetric group $\mathfrak{S}_{n}$ and the long cycle $(1\;2\;\ldots\;n)$ is isomorphic to the $m$-Tamari lattice of parameter $n$.Comment: 20 pages, 13 figures. The results of this paper are subsumed by arXiv:1312.2520, and it will therefore not be publishe

Simply connected homogeneous continua are not separated by arcs

We show that locally connected, simply connected homogeneous continua are not separated by arcs. We ask several questions about homogeneous continua which are inspired by analogous questions in geometric group theory.Comment: 15 pages, 8 figure

On the Topology of the Cambrian Semilattices

For an arbitrary Coxeter group $W$, David Speyer and Nathan Reading defined Cambrian semilattices $C_{\gamma}$ as semilattice quotients of the weak order on $W$ induced by certain semilattice homomorphisms. In this article, we define an edge-labeling using the realization of Cambrian semilattices in terms of $\gamma$-sortable elements, and show that this is an EL-labeling for every closed interval of $C_{\gamma}$. In addition, we use our labeling to show that every finite open interval in a Cambrian semilattice is either contractible or spherical, and we characterize the spherical intervals, generalizing a result by Nathan Reading.Comment: 20 pages, 5 figure

The absolute order on the symmetric group, constructible partially ordered sets and Cohen-Macaulay complexes

The absolute order is a natural partial order on a Coxeter group W. It can be viewed as an analogue of the weak order on W in which the role of the generating set of simple reflections in W is played by the set of all reflections in W. By use of a notion of constructibility for partially ordered sets, it is proved that the absolute order on the symmetric group is homotopy Cohen-Macaulay. This answers in part a question raised by V. Reiner and the first author. The Euler characteristic of the order complex of the proper part of the absolute order on the symmetric group is also computed.Comment: Final version (only minor changes), 10 pages, one figur

Bijections of dominant regions in the mm-Shi arrangements of type AA, BB and CC

International audienceIn the present paper, the relation between the dominant regions in the $m$-Shi arrangement of types $B_n/C_n$, and those of the $m$-Shi arrangement of type $A_{n-1}$ is investigated. More precisely, it is shown explicitly how the sets $R^m(B_n)$ and $R^m(C_n)$, of dominant regions of the $m$-Shi arrangement of types $B_n$ and $C_n$ respectively, can be projected to the set $R^m(A_{n-1})$ of dominant regions of the $m$-Shi arrangement of type $A_{n-1}$. This is done by using two different viewpoints for the representative alcoves of these regions: the Shi tableaux and the abacus diagrams. Moreover, bijections between the sets $R^m(B_n)$, $R^m(C_n)$, and lattice paths inside a rectangle $n\times{mn}$ are provided.Dans cet article, nous étudions la relation entre les régions dominantes du $m$-arrangement de Shi de types $B_n/C_n$ et ceux du $m$-arrangement de Shi de type $A_{n-1}$. Plus précisément, nous montrons comment les ensembles $R^m(B_n)$ et $R^m(C_n)$, des régions dominantes du $m$ -arrangement de Shi de types $B_n$ et $C_n$ respectivement, peuvent être projetés sur l’ensemble $R^m(A_{n-1})$ des régions dominantes du $m$-arrangement de Shi de types $A_{n-1}$. Pour cela nous utilisons deux points de vue différents sur les alcôves représentatives de ces régions: les tableaux de Shi et les diagrammes d’abaques. De plus, nous fournissons des bijections entre les ensembles $R^m(B_n)$, $R^m(C_n)$, et les chemins à l’intérieur d’un rectangle $n\times{mn}$